若
零常返, 令
, 则
是相通的常返闭集, 且
为有限集.
于是由定理 3.4.4, 有
, 与定理 3.5.1 矛盾, 从而得证.